Proof Testing